Un Lenguaje L ⊆ Σ^* es regular si y solo si es un Conjunto Regular. Es decir, si L es:

• ∅
• {ε}
• {a} | a ∈ Σ

o puede obtenerse de loas anteriores mediante un número finito de operaciónes de unión, concatenación, y Clausura.